基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

金万众为客户提供完整的刀具解决方案

成立于1992年的北京金万众科技发展有限公司是一家专注于刀具产品的专业公司.公司始终致力于将全球最先进的刀具产品介绍给国内的客户,为客户提供完整的刀具解决方案.我们的专业和专注赢得了许多世界知名刀具供应商的认可和尊重,纷纷将产品的独家代理权或代理权授予金万众公司. 公司目前主要代理大昭和(BIG)、住友电工(SUMI)、OSG、PWB、京瓷、斯特拉姆、瓦格斯、泰磁、北川等著名品牌的产品.目前这些产品已经成功地运用于金属切削加工的各个领域,如汽轮机、汽车发动机、变速箱及其零部件制造业、工程机械、模具、能源设备、大型冷冻机及压缩机、航空航天、铁路机车、精密电子零件等,受到了各行业用户的广泛支持和认同.     

青海玉树地震遥感监测应用研究

青海省玉树藏族自治州玉树县发生里氏7.1级地震后,作为我国减灾救灾决策支持单位,民政部卫星减灾应用中心(民政部国家减灾中心)根据国家减灾委、民政部救灾应急响应启动情况和部救灾总指挥部的统一部署,立即启动<应对突发性自然灾害空间技术响应工作规程>,实行24h业务值班制度,以高分辨率卫星和航空遥感数据为主,开展灾害监测与评...     

童话世界:阿坝

九寨沟、黄龙、神仙池、四姑娘山、达古冰川……这里有最让人惊叹的山水奇境。奶子沟、米亚罗、大金川、丹云峡……这里有最让人心醉神迷的绚烂色彩。若尔盖草原、桃坪羌寨、卓克基官寨、大慈法轮林、格尔登寺……这里是放飞心灵的净土。勿角大熊猫自然保护区、卧龙自然保护区、铁布梅花鹿自然保护区……这里是万物生息的宁静天堂。……这是一连串让人意乱情迷的名称,然而,他们有个共同的名字——阿坝。     

航天器相对运动的运动学模型研究

采用运动学方法研究航天器的相对运动.通过对无摄精确相对运动模型的简化,推导了以纬度幅角和平近点角为变量的无摄相对运动方程,并以此模型为基础建立了J2摄动下的相对运动模型,进行了相对轨道的仿真以及模型分析.仿真结果表明,运动学方法能给出较精确的相对运动方程,并且考虑摄动时,采用运动学描述比较简单.     

混合遗传算法在航天器最优交会中的应用

推导了航天器双冲量交会时的优化模型,以此为基础构造了最优交会的燃料-时间混合优化指标,并针对基本遗传算法局部搜索能力不强的问题,提出一种将最速下降法与遗传算法相结合的混合遗传算法,其中下降搜索的优化方向利用每一代中最劣个体所包含的优化信息获得。数值计算表明,该混合算法可加速算法的收敛,具有良好的优化性能和函数适应能力。最后,对共面圆轨道双冲量交会情况进行了仿真计算,仿真结果表明混合遗传算法的设计是成功的。     

基于工作流的生产过程监控系统设计与实现

针对制造业车间生产过程监控中信息采集不全面、反馈滞后、信息共享程度低等问题,引入工作流技术对生产过程进行建模和业务驱动,实现业务过程自动流转和信息自动采集、反馈.使用刷卡登陆触摸屏的方式增强终端应用的便捷性,应用甘特图等多种方式直观、形象地展现监控结果.基于普元EOS中间件平台开发出了生产过程监控系统,并在实际生产中进行了应用.     

基于标定场的激光雷达两步标定方法

针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定.     

MIDAS IV系统超声波风传感器故障排除一例

重庆空管站在2001年购置芬兰VAISALA公司的MIDASIV自动观测系统时，选用了先进的超声波风传感器WAS425。该传感器利用超声波在媒质中传播速率与媒质本身运动速率之间的关系，可以精确地测量出超声波在大气中传播时大气本身运动的方向和速率。由于没有机械旋转的阻尼和响应时间的影响，超声波风传感器的各项性能指标都优于传统的WA系列风向风速仪，得到的风向、风速值也更准确。在风传感器WAS425内部有一个微处理控制板，用于控制超声波信号的发射和接收，同时该板还要对得到的超声波信息进行处理，得到风向和风速值并以RS-232协议方式向外发送。串行数字发送器WT501负责将WAS425送来的风向和风速数据通过内置的调制解调器DMX501进行调制，并将调制信号以300bps的速率送到MIDASIV系统的中央数据单元（CDU）。在wAs425和WT501之间有一个跳线架，它的作用是为维护人员提供一个数据维护测量端口。